Name Ursprünglich is da See Wirmsee gnennt worn, wie z.B. in da Zeit vom Kaiser Ludwig dem Bayern (1314 - 1347) Bayerische Staatsbibliothek: Regesten Kaiser Ludwigs des Bayern - Die Urkunden aus Klöstern und Stiftsarchiven im Bayer.