Nom de plume of Jan Gerner.
Contributed by Tuomo Metso
Contributed by Florian Hardwig
Contributed by Peter Hofmann
