the official funeral took place in milan cathedral