brigade-generaal drs. A. de Ruiter