/* -*- encoding: utf-8; mode: html -*- */ require_once("_php/application.php"); ?> html_header("Startseite") ?>