Translation of "Dateianfangskennsatz" in English