De Boer zeer tevreden met 7 doelpunten tegen Gibraltar