Werkzaamheden aan de tempel van Borobudur