Synonyme bzw. ein anderes Wort für "Würmsee (veraltet, bis 1961)":

Bedeutung 1:
Starnberger See