The plays of Georg Büchner,