format_vseconds
string format_vseconds(int seconds)
Liefert fuer seconds einen String der Form: 'x Tage x Stunden x Minuten x Sekunden' wobei die Ausgabe in Spielzeit ist.