Gartenlaube is a restaurant.