kleiner tex-Fehler