Update german145

Resubmit of #277.

Just to better understand the development model, what is the master branch for? I assumed it is the current development state as it is configured to be repository HEAD (what github shows by default and what github proposes to send pull requests to).