Noordeinde Palace and Palace Garden: hours, tickets · Mike Lee