Translate German comments to English. (Remove one redundant comment.)