Eine Festsclirift von 0.