Cross-language double pun