att begge stormaktemes trupper lemna Rastadt , Mains och Frankfurt , samt att förbunds fästningar na förklaras neutrala.