Translation of "Before-mentioned" in German