Nordkorea ehrt toten Castro mit dreitägiger Staatstrauer