Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit