I'd like a detailed proof in English of Laumon's proof that the two Fourier-Mukai transforms taking the derived category of quasicoherent sheaves on $\mathbb{G}_m$-local systems of a curve $X$ to the derived category of $D$-modules on $Bun_{\mathbb{G}_m}(X)$ are mutually inverse.

The original paper is easy to find, but I'd ideally like an English translation, or at least an expository paper in English.

EDIT: Here is the link to the original paper by Laumon.

I'd like a detailed proof in English of Laumon's proof that the two Fourier-Mukai transforms taking the derived category of quasicoherent sheaves on $\mathbb{G}_m$-local systems of a curve $X$ to the derived category of $D$-modules on $Bun_{\mathbb{G}_m}(X)$ are mutually inverse.

Laumon's original (unpublished) paper, Transformation de Fourier généralisée is on the arXiv: alg-geom/9603004, but I'd ideally like an English translation, or at least an expository paper in English.

I'd like a detailed proof in English of Laumon's proof that the two Fourier-Mukai transforms taking the derived category of quasicoherent sheaves on $\mathbb{G}_m$-local systems of a curve $X$ to the derived category of $D$-modules on $Bun_{\mathbb{G}_m}(X)$ are mutually inverse.

The original paper is easy to find, but I'd ideally like an English translation, or at least an expository paper in English.

I'd like a detailed proof in English of Laumon's proof that the two Fourier-Mukai transforms taking the derived category of quasicoherent sheaves on $\mathbb{G}_m$-local systems of a curve $X$ to the derived category of $D$-modules on $Bun_{\mathbb{G}_m}(X)$ are mutually inverse.

The original paper is easy to find, but I'd ideally like an English translation, or at least an expository paper in English.

EDIT: Here is the link to the original paper by Laumon.