I only learned this while studying German, but King Tiger is actually a poor translation. The German nickname for the tank was Königstiger, which is the German

I only learned this while studying German, but King Tiger is actually a poor translation. The German nickname for the tank was Königstiger, which is the German name for a Bengal tiger, but if translated literally it would instead be Royal Tiger.