Efterprøvning i henhold til stk. 4, første afsnit, litra a), skal omfatte følgende procedurer:
Verifications pursuant to point (a) of the first subparagraph of paragraph 4 shall include the following procedures: