(1) If at any time it appears to the Independent Supervisor that an Auditor General has failed to comply with an obligation imposed on him by or by virtue of this Part, the Independent Supervisor may make an application to the court under this section.
(2) If on an application under this section the court decides that the Auditor General has failed to comply with the obligation in question, it may order the Auditor General to take such steps as the court directs for securing that the obligation is complied with.
(3) In this section "the court" means the High Court or, in Scotland, the Court of Session.