proceedings of the secret tribunal under the emperors Winceslaus and Sigismond, are