Weinstein's tubular neighbourhood theorem