Graveneck. Geschichtlicher Roman aus der zweiten Hälfte des achtzehnten Jahrhunderts