Documentation for software by Berthold Höllmann