New version 0.5.1: use TikZified logo for koblenz