De bergwerkers. Zangspel in drie bedrijven. (s.l.)