db-convert.pl: veranstaltung.mtime auch ausrechnen