+sub very_short_hr_time($) {
+ my (undef, $min, $hour, $day, $mon, $year) = localtime ($_[0]);
+
+ sprintf ('%02d. %02d. %04d', $day, $mon+1, $year+1900);
+}
+
+sub month($) {
+ my @month = (qw(Januar Februar), "M\303\244rz", qw(April Mai Juni Juli August September Oktober November Dezember));
+ # ^^^^^^^^ - UTF8 #
+
+ return $month[$_[0]-1];
+}
+