i den bayerska hufvudstaden höllö en särskild sorgefest.