Wie viele Panzer produzierte das Deutsche Reich bis Kriegsende?