Spanien ringt Marokko im olympischen Fußball-Halbfinale nieder.