Translation of "Vorgängerdokument" in English