Gaststätte Maria is a restaurant.