www.gemuetliche-typen.de
proved by g-type