Astronomische Instrumente des 11. bis 18. Jahrhunderts. Ernst Zinner