A digital display of local time does not read 02:00 exactly at the shift to summer time, but instead jumps from 01:59:59