PET van officier machinist van de RMT, maat 57.