Die Ruber, ein Trauerspiel;