Title: Die Werke Notkers des Deutschen
First published: 1972