Sequence of loan repayment and restructuring

To families with very high incomes: did you first pay off your home loan (variable interest rate over 25 years, currently 665k remaining debt, approx. 3.3% effective interest rate) Etf: approx. 160k, daily allowance approx. 70k Additionally: small renovated holiday apartment in a ski resort in Austria, which we want to sell and hope to get 250-300k for. The question is how and when it will sell... Originally we didn't want to make a lot of special repayments but rather save for the renovation and then renovate it in 2-3 years (approx. 55