resync the translation
add a comment about a possible future trap
fix translations that were not valid anymore
Release 2.2.5: SortingWorld needs *more* polishing.

  * Align equals() and diffTo() of sortedWorld to avoid false negatives
  * Internationalize and translate the error messages of SortedWorld
  * sort.Bubble3: there is no 'break' in scala
  * Color the statusbar in red when a world is running so that people
    notice that there is more than one world.
  * SortingWorld: give large worlds a reduced delay so that people
    don't wait for the perf world too much even if they don't click