innehållande en formlig traktatmellan