Magento: formal customer name

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/Customer.php.formal.diff";
echo "$URL";
echo "

";
$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);
echo htmlspecialchars(curl_exec($c));
curl_close($c);
echo "

";
?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/Hello.php.formal.diff";
echo "$URL";
echo "

";
$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);
echo htmlspecialchars(curl_exec($c));
curl_close($c);
echo "

";
?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/Order.php.diff";
echo "$URL";
echo "

";
$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);
echo htmlspecialchars(curl_exec($c));
curl_close($c);
echo "

";
?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/hello.phtml.formal.diff";
echo "$URL";
echo "

";
$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);
echo htmlspecialchars(curl_exec($c));
curl_close($c);
echo "

";
?>

<?php
$URL="http://" . $_SERVER['SERVER_NAME'] . "/sites/default/files/magento/formal/order_new.html";
echo "$URL";
echo "

";
$c = curl_init();
curl_setopt($c, CURLOPT_URL, $URL);
echo htmlspecialchars(curl_exec($c));
curl_close($c);
echo "

";
?>

ToDo
file: formal.sql.txt ?
fix other "Hallo"s / "Hello"s
cd ./app
grep "getCustomerName()" * -R | grep Hallo

Links
http://www.magentocommerce.com/boards/v../viewthread/37850/P0/