real_time_diff
int real_time_diff(int zeit_von, int zeit_bis)
Liefert aus zwei Spielzeiten (Format: hhmmss)
die Differenz in realen Sekunden zurueck.
Ist der zweite Parameter kleiner als der erste, so wird
ein Spieltag (!) hinzuaddiert.
Anwendung zB bei call_outs.
Beispiel:
real_time_diff(11259,20011) --> 314