Jensenius ( Kristiania ).