Costa Rica wird noch Weltmeister.