Devět let od ničivého požáru Petrova bouda opět stojí (6. 11. 2020).