Title: Georg Büchners sämtliche Werke (German Edition)