8.0 'portal' (onesteinbv)



Port 'portal' modification realized by OneStein BV. (branch onesteinbv:8.0-os)