Hoog Paddepoel is a long-standing cafeteria offering classic Dutch snacks and refreshments.