hi oilslick,
i have a Hirschmann Antenna. However it's not the one where you can actually adjust the height.
But it is an OEM replacement as in, it's the one that the dealer would sell u if u ask for a replacement.
It cannot be adjusted for height unlike the original and you also need a new rubber grommet to put in place of the chrome 'washers'
if you want it, i can sell it to you for not too much. Otherwise I'll just play around with it