* Updated for bookmark support.
   See http://www.giggo.de/dbox2/movieplayer.html for details
   (patch by Christof Baumgaertner)