Kompakt træ for Otto Valdemar Martinsen