Hitlersee

Etymology
Renamed, in 1934, after the German chancellor Adolf Hitler.