Compacte boom van Georg Derksen