Does anyone know the name of the warden of the castle at Koenigstein when the French blew up the castle in 1794? 1796?... Is there a website that would give some of this history? Thank you, Carola