Halle 13 is a restaurant.