Kreı̆n-Višik-Birman Self-Adjoint Extension Theory Revisited