Algemeen Rijksambtenarenreglement:— [vervallen]