Čertova stěna, komicko-romantická opera o třech dějstvích