Apparently puns can be translated rather freely (to match the cultural context of the target language), but they need to be translated back, explained and authorized.