#2915: German translation of warning