Add quit() with an exit code to the german documentation.