Dvořák: Der Jakobiner, Op. 84, B. 159 (Sung in German)