Wenke formuló una sentencia basada en la Estipulación de la Sentencia acordada por las partes el 22 de julio de 1985.