<? durch <?php ersetzt (closes #4)