Restaurant at west end of Oeschinensee