Editor: Rainer Schulze.