Armeemuseum is a restaurant.