Spitzingsee – der größte Hochgebirgssee Bayerns