Der Walchensee in Bayern ist ein beliebtes Ausflugsziel