Is the Assumption of Mary Historical?