Kohlendreieck is a restaurant.