Algemeen Rijksambtenarenreglement:artikel 80