Esa legalidad fue confirmada por la decisión oficial del Tribunal Federal de la República Federal de Alemania el 25 de julio de 1979.