Happy Holidays

2015 was a very busy year for me which you might have noticed due to the infrequent updates. More to come in 2016!

I wish all my readers and contributors a nice Christmas break and a good start for 2016!

Peter