What is this microphone?

I really do apologise, this is a really awful thread.

Back in the 90s, you used to see this type of wireless microphone a lot:

https://www.youtube.com/watch?v=Z-dW28gQ2lk#t=10m14s

What the hell were these and why were they so popular in that time period? Did they get used anywhere else?

It's either a Sennheiser or AKG, I can't remember which ?

It's a Micron Stick, hired by Bettersound. It was discussed here!

http://www.metropol247.co.uk/forum/viewtopic.php?f=22&t=5688

https://www.bblist.co.uk/user_images/product_images/42512_1.jpg

TX-503 Micron

Thanks guys. It's always bugged me.