„König Artur“ bezwang einst Bayern. Ex-Portugal-Nationaltrainer ist tot