You are right. I updated the German version.