begrafning försiggick i tisdags under mycken högtidlighet i Trefaldighetskvrkan i Kristiania.