3951 ) Rättens ombudsman.