Kompakt tre for Hans Martin Antonsen