3962 ) Rättens ombudsman.