Lars Johannessen's regular seasons records