Kompakt tre for Johan Hartvigsen