— Ole Bulls begrafninn.