dēvāstātor , ōris, m. (devasto), der Verwüster, Cassiod. hist. eccl. 6, 45.
Wörterbucheintrag Latein-Deutsch zu »devastator«. Karl Ernst Georges: Ausführliches lateinisch-deutsches Handwörterbuch. Hannover 1913 (Nachdruck Darmstadt 1998), Band 1, Sp. 2113.