wichmannianus.