Civil servants in the Patent Office (United Kingdom)