Now that you made me think about that issue again, I tried the following: opened up hplip-gui, deleted the printer (red "-"), then added the very same printer again via the green "+" and now it works :)
Now that you made me think about that issue again, I tried the following:
opened up hplip-gui, deleted the printer (red "-"), then added the very same printer again via the green "+" and now it works :)