Comments by dinkelsmorf