när tiden är utgången för en tjensteman.