Thomas Ravelli | World football, Fifa world cup 1990, World cup