verweis in tex-datei auf arbeitszeiten geaendert