Kompakt tre for Iver Tostensen