Ja sicher ist die Weiterleitung gut, aber wir sollten doch nicht vom offiziellen Namen auf einen historischen oder möglicherweise künftigen Namen weiterleiten, sondern umgekehrt. Sonst können wir aus dem Artikel Starnberger See auch ein Weiterleitungsseite machen und den See selber unter Würmsee abhandeln, anstatt der Beibehaltung des umgekehrten, korrekten Falles.-- Ratzer 03:33, 30. Dez. 2009 (CET)