PHP: Convert UTC to CET (Coordinated Universal Time to Central European Time)

Today I was trying like hell to find a way to convert a date and time given in the Coordinated Universal Time format (UTC) to the corresponding date (and especially time) in CET. Yes, it’s that easy, one might say – but how can the daylight saving times be included?