Laufzeit.php renamed to ExecutionTime.php, translated
some dates and comments added