Germans to use miniature tanks to control World Cup crowds.