Eibsee, a lake at the base of the Zugspitze, Bavaria, Germany