I work at a Dutch registrar and we have monitored .at terminations in the past years due to this issue and making sure contracts get terminated. Since recently we are able to delete a domain for our customers through EPP so our customers don't have these problems after terminatin their contract.