Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen.