Dictionary of Arts, 11th edition, 1971-72 (Deutsche Zentraldruckerei, Berlin).