Modelling the spread of butt rot in a Picea abies stand in Finland to evaluate the profitability of stump protection against Heterobasidion annosum