Zwei Jahre hat sich niemand gekümmert, jetzt wurde im Artikel auf "Windsborn Bergkratersee" geändert. Wenn sich hier niemand mehr äußert, werde ich das Lemma in Kürze auf "Windsborn Kratersee" verschieben. Dass es nicht "Windsbornmaar" heißen soll, wie in der Naturschutzverordnung, wird im Artikel ja hinreichend begründet.-- Bungert55 11:48, 13. Jul. 2014 (CEST)