Der Hof , des -es, plur. die Höfe, Diminut. ... ... In manchen Städten werden große Wohnhäuser mit ansehnlichen Höfen noch jetzt Höfe genannt; dergleichen Auerbachs Hof, Kochs Hof, Homanns Hof u.s.f. in Leipzig sind. 2 ...
Wörterbucheintrag zu »Hof, der«. Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 2. Leipzig 1796, S. 1232-1235.