On boundary values of functions with finite Dirichlet integral