Kompakt træ for Hans Lauritzen (Baagøe)