1: \begin{abstract}

2:   We observe that a large part of the volume of a hyperbolic polyhedron is taken by a tubular neighbourhood of its boundary, and use this to give a new proof for the finiteness of arithmetic maximal reflection groups following a recent work with M.~Fr\c aczyk and S.~Hurtado. We also study in more depth the case of polygons in the hyperbolic plane. 

3: \end{abstract}

4: