The Dutch term "panter" matches the English term "panther, leopard"