1: \begin{abstract}
2: In this paper we develop the theory of properly immersed minimal surfaces in the quotient space $\hr/G,$ where $G$ is a subgroup of isometries generated by a vertical translation and a horizontal isometry in $\hh$ without fixed points. The horizontal isometry can be either a parabolic translation along horocycles in $\hh$ or a hyperbolic translation along a geodesic in $\hh.$ In fact, we prove that if a properly immersed minimal surface in $\hr/G$ has finite total curvature then its total curvature is a multiple of $2\pi,$ and moreover, we understand the geometry of the ends. These theorems hold true more generally for properly immersed minimal surfaces in $M\times\mathbb S^1,$ where $M$ is a hyperbolic surface with finite topology whose ends are isometric to one of the ends of the above spaces $\hr/G.$
3: \end{abstract}
4: