The behaviour of my printer is now as described in https://bugs.launchpad.net/hplip/+bug/487695, so I will mark this bug as a duplicate.
The behaviour of my printer is now as described in https:/ /bugs.launchpad .net/hplip/ +bug/487695, so I will mark this bug as a duplicate.