# Reference for rigid analytic GAGA

I'm looking for a reference for the following result.

Theorem. Let $K$ be a complete, non-archimedean field, and let $X/K$ be a projective scheme, with analytification $X^\mathrm{an}$. Then the analytification functor from coherent $\mathcal{O}_X$-modules to coherent ${\mathcal{O}}_{X^\mathrm{an}}$-modules is an equivalence of categories.

While I've seen this sort of statement in a lot of introductory notes on rigid analytic geometry (most attributing it to Keihl), none of them seem to give a published reference. Any help would be much appreciated.

-
Have you looked at the papers\notes of Brian Conrad? –  Keenan Kidwell Feb 8 '13 at 14:08
His notes on rigid geometry didn't seem to have a reference. Rooting around some of his papers has done the job though, thanks! –  ChrisLazda Feb 8 '13 at 14:28

I am quite surprised by the attribution to Kiehl that you saw. Anyway, I think the result is due to Ursula Köpf (not only over a field $K$ but actually over an affinoid space): "Über eigentliche Familien algebraischer Varietäten über affinoiden Räumen", Schriftenreihe Univ. Münster, 2 Serie, Heft 7 (1974).