Tegernsjön i öfra Bayern,