Gasthaus Lanzer See is a German restaurant.