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