"docket number" Deutsche bedeutung