Bugfix: <? in <?php geaendert