The mic there using there was very commonly used by the BBC , from top of the pops to bigger live events from the late 60's right through the 70's , Im not sure what it is though . Maybe its a Calrec
I did see an AKG C12 on the brass too , although I think the BBC modified these to their own spec .