I was there last night and the crowd were loud; I have since seen some of the match that we recorded from BT. It is quite obvious they turn the crowd mikes down, you can hear City crowd singing in what seemed the far distance but also hear one person applaud and even cough! I am sure this is done to give the impression of no atmosphere. The mike near the Madrid fans was obviously at full sensitivity, its probably the same one they use for in front of the KOP! Sky do a similar thing but not quite as obvious.