Translation of "Court case number" in German