Zur alten Zeche is a restaurant.