[php] Uhrzeiten addieren?

[Michael Renner]

Hi,
ich m"ochte zu einer Startzeit im Format HH:MM:SS eine
Zeitdauer im Format HH:MM:SS addieren (also 12:00:00
plus 01:30:00 soll ergeben 13:30:00).
Hat zuf"allig jemand eine passende Funktion in der Schublade?
Danke
-- 
+------------------------------------------------------------------------+
|Michael Renner                  |Phone:  +49-7071-601-638              
|
|MPI fuer biologische Kybernetik |FAX:    +49-7071-601-616              
|
|Spemannstr.38,                  |E-mail:
michael.renner_(at)_tuebingen.mpg.de|
|D-72076 Tuebingen               |AX25:   dd0ul_(at)_db0aaa.#bw.deu.eu       
|
|Germany                         |http://www.tuebingen.mpg.de           
|
+------------------------------------------------------------------ESC
:wq