Regularity theory and traces of -harmonic functions