Steenstrups begrafning bar försiggått i Kongsberg.