Král a uhlíř - Guldener, Bernard, 1836-1877 (Operní libreta Antonína Dvořáka ;, 1957)