Translation of "Punning" in German

Such literary devices as simile, metaphor, alliteration, and punning are found.
Solche literarische Vorrichtungen wie simile, Metapher, Alliteration und das Punning werden gefunden.
ParaCrawl v7.1

His frequent trips to London in a post chaise did not go unnoticed by the Oxford wags who had little difficulty in punning a nickname from 'Phil Hayes' -- thus he was fondly known as 'Fill Chaise'.
Seine regelmäßigen Reisen nach London in einer Postkutsche blieben von Spöttern in Oxford nicht unbemerkt, die alsbald für "Phil Hayes" – wie er allgemein genannt wurde – den Spitznamen "Fill Chaise" („Kutschenfüller“) erfanden.
Wikipedia v1.0

His frequent trips to London in a post chaise did not go unnoticed by the Oxford wags who had little difficulty in punning a nickname from 'Phil Hayes' – thus he was fondly known as 'Fill Chaise'.
Seine regelmäßigen Reisen nach London in einer Postkutsche blieben von Spöttern in Oxford nicht unbemerkt, die alsbald für Phil Hayes – wie er allgemein genannt wurde – den Spitznamen Fill Chaise („Kutschenfüller“) erfanden.
WikiMatrix v1

As a matter of fact, (~radius) is just a shorthand (called punning) for (~radius as radius).
In der Tat ist (~radius) bloß eine Abkürzung (names punning) für (~radius as radius).
CCAligned v1