Besten Dank an @budze für die bisherigen Antworten und Angaben.
Ich drucke zwischen 600 und 1'200 Seiten / Woche auf Normalpapier (meistens Kursunterlagen, ca. 1/3 davon Bilder von Kunstwerken, Gebäuden, usw. - ich unterrichte Geschichte und Kunstgeschichte - aber wenig bis gar keine Fotos).
Den (Duplex-)ADF verwende ich ebenfalls regelmässig für Fotokopien bzw. zum Scannen.
Zuerst hatte ich an einen Epson 3950 gedacht, jetzt zögere ich zwischen einem Canon GX6550 (trotz der Einschränkung beim Flachbettscanner, da ich ja dazu meinen derzeitigen Brother MFC-L8390CDW habe) und einem GX7150.
Für mich sind Tintentank-Drucker ganz neu, daher bin ich um jeden weiteren Rat bzw. Hinweis dankbar.
Gruss AMvM
(Sorry für die etwas längeren Ausführungen)