It was known as Amsterdam Time or Dutch Time.
Ήταν γνωστή ως Ώρα Άμστερνταμ ή Ώρα Ολλανδίας.