Geosynthetics in hydraulic engineering – remediation of former mining landscapes