The plays of Georg Büchner.