> it requires a specific decree or order by some government body
That person is a random clerk
> possibly after appeals
I can 100% gaurantee that this case goes to court (if it is not settled to the now previous owners satisfaction).
I also suspect that the original owner will come out on top, by likely more than the 150k that their 'house' was worth.