Gasthaus Petershütte is a guest house.