7,000 German soldiers ‘available for World Cup’