4236 ) Rättens ombudsman.