Manchester City trifft entweder auf Bayern München oder Real Madrid.