Was wird in der Kartei der Papiermacher  im Buch- und Schriftmuseum in Leipzig erfasst?