[138] Badersee, See (766 m ü. d. M.; 18 m tief) westl. von Garmisch in Oberbayern.
Meyers-1905: Badersee