Falls es jemanden interessiert:

PHP-Code:
<?php
$nato = mktime(18, 0, 0, 1, 2);
$bmt = mktime(8, 0, 0, 7, 31);
$half = ($nato + $bmt) / 2;
echo date('d.m.Y, H:i', $half);
?>
Und nein, von Hand rechne ich das sicher nicht. Das kann mein Computer wesentlich besser.