I just asked a question which is related to the one I'm about to ask, but I realized my question can be reduced to the following: let $G$ be a locally compact abelian group with Haar measure $\mu$, and $H$ a discrete subgroup of $G$. Then $G/H$ is locally compact with Haar measure $\bar{\mu}$.

I believe it should be possible to normalize $\bar{\mu}$ to make it have the following property: if $W \subseteq G$ is any measurable set and the projection $\pi: G \rightarrow G/H$ maps $W$ injectively into the quotient, then $\mu(W) = \bar{\mu}(\pi(W))$.