Forwarding to Gmail

Decided to return my online.no mail to forwarding it to Gmail as a way of ridding myself of a growing bunch of Spam reaching the Apple Mail acct.

It didn't work reliably for a couple of hours and I'm not sure whether that was due to the time passed, or my changing the Inbox style to Classic, but after the latter things worked perfectly as desired.