Checking in the English version and the German changes to HelloWorld