Translations:WaitConditionLoop/4/de-formal