Datenstruktur der History angepasst.

 * Einträge werden richtig in die History einsortiert, auch wenn sie out-of-order eintreffen.
 * History gibt entsprechende Meldungen raus, wenn etwas besonderes passiert.