Title: Petrus Mussonius, Pompeius Magnus - Eine Neulateinische Tragödie