har nu införts s. k. mellaneuropeisk normaltid , hvilken regleras af Berlinobservatoriet.