The maid of the mill, a comic opera; distinguishing also the variations of the theatre, as performed in three acts