Correct some type issues in the English translation and update the German translation