Lieutenant-Colonel De Ruyter van Steveninck (CITATION)