Opgave 14:200

Hvis klokken er 1200 dansk sommertid,
hvad er så UTC-tiden ?