It's not a secret or anything. People won't care that the German occupation had anything to do with it, because before that Amsterdam Time ran 19 minutes and 32.13 seconds ahead of Greenwich! No one wants to go back to a timezone like that in the twenty first century.
Hitler actually did us a favour on that front.