What is this mic?

[eckertone]

Heyo!

I have come across that black overhead mic in the image below, but kind find it anywhere. Does anyone know what it is called?

Thanks a lot!

 

[bouldersoundguy]

AEA R88 (and an Electrovoice RE15, I think).

 

[eckertone]

Great, thank you!