「実際の時間」がサマータイムなのです。 サマータイムは初日に密かに?いきなり全ての時間が1時間進み、ずうぅっとそのままです。日本との時差も1時間かわりますよね。 あかいしさんのおっしゃるとおり20時といえば20時です。 サマータイム前の時間と比較する必要は全くありません。