7155 ) Rättens ombudsman.