Title: The plays of Georg Büchner,