Danke dir! Allerdings hat das nicht wirklich funktioniert.
Daher habe ich etwas ähnliches fabriziert, was glücklicherweise funktioniert. ;-)
<?php
function blank($text) {
$str = trim($text);
$str = preg_replace("/ +/", " ", $str);
$str = preg_replace("/(\n\s*){3,}/", "\n", $str)...