( dansk tid ).