7254 ) Rättens ombudsman.