But in Europe we don’t say German Mean Time or Spanish Mean Time when changing to summer time. We increment GMT+1. So it becomes GMT+2. Then we revert back to GMT+1 in winter.