Würmsee war bis 1962 der offizielle Name des Sees [1}, sein Abfluss heißt bis heute die Würm [2].

[1] https://de.wikipedia.org/wiki/Starnberger_See
[2] https://de.wikipedia.org/wiki/Würm_(Amper)