Das war wohl historisch der Kleinmühlenteich, siehe [1]-Karsten11 (Diskussion) 18:00, 19. Okt. 2022 (CEST)Beantworten
