någon ordinarie eller extra-ordinarie tjensteman aflidit.