[1003] Würmsee, der Starnberger See (s. Starnberg).
Herder-1854: Würmsee
Meyers-1905: Würmsee
Pierer-1857: Würmsee