begrafningen försiggick , såsom redan är kändt , måndagen den 23 i Bergen.