vtimestr
varargs string vtimestr(int vtime, int only)
Liefert einen String der Form Mittwoch 31. Maerz 12 18:47:15 in Spielzeit, das Analogon fuer Realzeit heisst timestr(). Wenn only == TIMESTR_ONLY_TIME, wird lediglich die Uhrzeit geliefert. Wenn only == TIMESTR_ONLY_DATE, wird nur das Datum geliefert. Mit only == TIMESTR_ALL oder wenn dieser Parameter weggelassen wird, wird Uhrzeit und Datum geliefert. Diese Werte sind in simul_efuns.h definiert.