Calderon de la Barca, Angel, translator. See. Mueller, J. von. Historia universal.