också , att erkehertig Johann Salvator omkommit.