Welcher Zeit entspricht die westeuropäische Normalzeit?