Goodstein revisited - Michael Rathjen (2014)