Some correction of trivial errors in German translation