doku.html  text verbessert.