Aquincum, the military amphitheatrum ( Hajn�czy J. Gy., Pannonia r�mai romjai. Budapest 1987, 203.)