Current Local Time in German Democratic Republic, Germany