"arkivmann" er et 9-bokstavers substantiv som brukes som synonym for "graver". graver betyr: Mann som administrerer arkiv