Germany (Federal Republic). Deutsches Patentamt.