Integrated geophysical archaeological prospection resulting in the discovery of the school of gladiators in the Roman town of Carnuntum in Austria