Unfortunately, I couldn't find a suitable tip in our range. Our recommendation is that you contact HP directly: https://support.hp.com/ch-de...
However, the question remains in the Community, perhaps another member has a suitable product.