Gasthaus Muschett is a restaurant.