Distributions maintained by MGUTSCH