Dublin Castle Christmas Market: Opening Hours (+What to see)