Translation of "Nachgewiesenerweise" in English