FW: Corrections to historic German timezone information