„Der ''Erstname'' Jungfernmühle geht auf eine tragische Begebenheit beim Bau im Jahr 1757 in Potsdam zurück, als die Müllertochter bei der Besichtigung der neuen Mühle unter plötzlich auftretendem Wind von den Flügeln erfasst und in einem hohen Bogen auf der Galerie zerschmettert wurde.“<ref>[http://de.wikipedia.org/wiki/Windm%C3%BChlen_in_Berlin#Jungfernm.C3.BChle_in_der_Gropiusstadt Windmühlen in Berlin: Jungfernmühle in der Gropiusstadt.] Zugriff 10.8.13. Kursiv geschrieben: ''Jungfernmühle''.</ref>
erste Bezeichnung eines später anders benannten Objekts