For about 25 years. After that, they retired. They were given a lump sum of money, or a pension, and a certificate recording their service.