symmetric operators, self-adjoint extensions, abstract boundary conditions, Weyl function