Normaltid införes i Tyskland.