Grubenseen sind ein globales Erbe des Bergbaus: ein integrierter Ansatz zur Erreichung nachhaltiger Ökosysteme und Mehrwert für Gemeinschaften | Synapse