Minor corrections/enhancements of the German user manual