二战时纳粹德国到底生产了多少坦克？