Alla fine ho risolto. Il problema era nel codice di output, dove avevo inserito la funzione htmlspecialchars per stampare a video il testo. E' stato sufficiente aggiungere un html_entity_decode per risolvere il problema:

Questa è la soluzione:

echo nl2br(html_entity_decode (htmlspecialchars(trimBody($row['body']))));

Viene lo stesso risultato anche semplicemente togliendo htmlspecialchars, ma devo fare delle prove per scoprire se non ci siano altri inconvenienti.

Grazie comunque,