A generalization of formal schemes and rigid analytic varieties. R. Huber — 1994 Mathematische Zeitschrift