Arguments for interpreting the Tomb of the Elephant as a Mithraeum based on architectural archaeology, digital surveying and ...