Prosessen gäller alltså — enligt hraf