The king and the miller of Mansfield; a dramatic tale: as it was acted at the