Kompakt træ for Johan Ejlert Steffensen