7198 ) Rättens ombudsman.