I made a pass over the MR. There was one place where I did not understand where the 80 comes from. Otherwise the MR looks good to me.
Where does this 80
come from / what does it stand for? Please wrap it into a definition. (If it breaks the automation, you can also use a parsing only notation.)
Michael Sammler (b185660f) at 26 Mar 14:29
pass over MR