Wording change relevant for English version only (for bookkeeping).
Authored by: jensmf 2016-06-01
Parent: [r5159]
Child: [r5161]