What is the mic used on Castle in the Snow - Kadebostany?

Could it be a Beyer M88, is this the mic seen live?


Or could it be a Beyer ribbon handheld mic?


Shouldn't these things be written on credits?