Peilboot wird in den Kleinen Walthersee gehoben