Did you know that the opera Doktor Johannes Faust by Hermann Reutter , which was premiered by the Oper Frankfurt in 1936, is based on a puppet play?