#10464: German comments