augusti : Ole Bulls begrafning har egt rum i dag.