Rau09 = T. Rauscher, private communication (2009).