renamings from German to English