Title: Count Roderic's castle; or, Gothic times