Manchmal geschehen noch Wunder. Gestern - nach fast einem Jahr OS 10.10 - kam ein Update von HP-Druckertreibern. Jetzt druckt er wieder.