The movement referred to in paragraph 1 may take place either: (a) under the internal Community transit procedure, provided that such a possibility is provided for in an international agreement; (b) under cover of a TIR carnet (TIR Convention); (c) under cover of an ATA carnet (ATA Convention) used as a transit document ...