Kompakt tre for Hans Rasmus Benjaminsen