texinfo ist installiert, habe ich vorhin vergessen zu erwähnen...