Conversione datetime in altro fuso orario

[galamarco]

Ho parzialmente risolto il problema, nel senso che sono riuscito a convertire da un fuso orario all'altro, ma ora si pone ancora il problema dell'ora solare/legale.

Andiamo per step.
La conversione da un fuso orario all'altro l'ho risolta così:

$TimezonePartenza = new DateTimeZone('Europe/London');
$TimezoneArrivo = new DateTimeZone('Europe/Rome');

$Datadipartenza = new DateTime("$data_spedizione", $TimezonePartenza);
$Datadipartenza->setTimezone($TimezoneArrivo);
$valore_finale = $Datadipartenza->format('Y-m-d H:i:s P e');
echo "data_spedizione: [b]$valore_finale[/b]
"; 

Il codice aggiunge 1 ora, l'ufficiale differenza tra Londra e Roma. Manca però la valutazione di ora solare/ora legale, quindi ancora non va bene

Nel caso italiano infatti, manca ancora 1 ora, quella dovuta all'ora solare in corso.
Come posso aggiungere a $valore_finale 1 ora se siamo nel periodo dell'ora solare? Immagino che ci sia una funzione apposita di php...