Do the operas Der Kaiser von Atlantis and Simon Boccanegra contain the same number of acts?