DuckCorp Dico

Found 2 definitions

1.                 From English - German Ding/FreeDict dictionary ver. 1.9-fd1:
                   
   
   
                   
                     
   pun /pˈʌn/
   Wortspiel <neut> [ling.]
         "He is a skillful pilot whose career has – no pun intended – really taken off."  - Er ist ein geübter Pilot, der karrieremäßig richtig durchgestartet ist – das Wortspiel ist unbeabsichtigt.
      Synonym: play on words
   
                   
                 

2.                 From English - German Ding/FreeDict dictionary ver. 1.9-fd1:
                   
   
   
                   
                     
   pun /pˈʌn/ <v>
   ein Wortspiel machen <v>
            Note: auf
    see: punning, punned, puns, punned
            Note: on; upon