Danish Fairy and Folk Tales/The King and the Miller

