Gasthaus zum Engel is a restaurant.