Hello We are currently on holiday near Eindhoven, and the museum we'd like to visit is only open on Mondays during Dutch school holidays. Can anyone tell me if it is still Dutch school holidays? Thanks