Translation of "Formentioned" in German