Alter Schmiedehof is a restaurant.