Wie das Wasser aus dem Harzgeröder Teufelsteich in den