det af Kristiansborgs ruiner 100,000 kr.