What happened to the Czech tanks seized by the Germans during WW2? Had they all been destroyed in action, were they decommissioned after captured by the allies, were they turned over to the Czechoslovak Socialist Republic, or did the respective allies keep them?