Ticktime und Infotime bei Miranda