aus Steuergeldern finanzierte öffentliche Kasse zur Förderung des Bergbaus