Random thoughts on various things

So far here is no content. This is a new start using GitHub pages and the Jekyll-TeXt-theme. My old website was based on an outdated Joomla installation and - as one would expect - has been hacked on some day…