[ros-diffs] [mjansen] 71332: [SHELL] Addendum to r71328, correct one german resource id.