Martinusstube is a restaurant.