Beim rein englischen Champions-League-Finale trifft Manchester City auf FC Chelsea - und britische Fußball-Fans strömen zu Hunderten nach Porto.