Традиционно в операх главные герои — боги, цари, пастухи, куртизанки и пр. А в этой опере главный герой обладает, можно сказать, совершенно прозаической профессией — он инженер. Назовите автора произведения, послужившего основой для либретто оперы.