Translations:WaitConditionLoop/5/de-formal