( inclusive afskedade ) , ha upphört att tjenstgöra.