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