formlig allianstraktat består mellandessa