Translation of "Begriffserweiterung" in English