i Kristiania taffelpenningar , 20,000 kr.