Translation of "Doppelt erwähnt" in English