Add: Alexander Springer to the THANKS file