afdelningen inom detta oerhörda etablissement utgör patentmuseet.