Sommerzeit
Daylight saving time in Singapore.