Gaudí’ designed a church like no other in the 19th century. But it's 21st century tech that will see it finished.