  This is a short survey on finite-volume hyperbolic four-manifolds. We
describe some general theorems and focus on the concrete examples that we found
in the literature. The paper contains no new result.
