Translation of "Docket number" in German