och 1742 fick tukthuset i Kristiania ett lotteriÅr