Translation of "Used to refer to" in German