Some changes regarding the German translation