Kompakt tre for Johan Edvard Olai Hartvigsen