Vielen Dank für die Antwort. Das Problem ist, dass ich den HP-Treiber nicht auswählen kann. Es wird nur Airprint angeboten. Wenn ich auf "Weitere Software" gehe, dann ist das Auswahlfenster immer leer.
Auch das Installieren des Druckertreibers über das Programm HP Easy Start funktioniert nicht. An einer bestimmten Stelle, an der die Treibersoftware geladen werden soll, bricht der Installationsvorgang immer ab.
Der Drucker selber druckt, das ist nicht das Problem. Ich kann auch von einem anderen Mac über Airprint auf dem Gerät drucken.
Kann es auch ein Gerätefehler am MacBook Air sein?