denne sistnämndes död afled erkehertig Karl Salvator.