Сколько танков A7V — первых серийных немецких танков — успела построить Германия в Первую мировую?