är afgjordt och Batums afträdande antageö upptaget i fredswilkoren.