Gaststätte Siebenstern is a restaurant.