Incidentally, the cathedral was even taller until a lightning bolt lopped off the main tower in 1614.
The main tower was destroyed in 1614 when a lighting bolt hit it.
mnli hypothesis: The main tower was destroyed in 1614 when a lighting bolt hit it. premise: Incidentally, the cathedral was even taller until a lightning bolt lopped off the main tower in 1614.