Time stamps in protocol files

The times in the logs for duty times and alarms are given in UTC (Universal Time Coordinated), i.e. there is a corresponding time offset depending on summer or winter time.