wk voetbal: duitsland - algerije