Dedicated to Wolfram Pohlers on his retirement

by Wilfried Buchholz