20080522 world.europe: Man U win Champions League final on penalties