Over koningsbomen, koningslinden en kroningsbomen