Thanks for your reply. I didn't know that.
As someone else has just said, I don't think it's a good idea - these Inter fans were quite well behaved, so no problem (apart from the atmosphere). But, if there were a problem, there is no separation from City fans and no extra staff either at hand...