endet die männliche erbfolge der habsburger.