Thanks for all your suggestions and your help. I tried to get a reservation for lunch at Holland House, but their online reservation tool does not work, so I wrote an email days ago - unfortunately without any answer.