Bugfix im Fall y_is_uniformizer, TODOs rausgenommen, damit Doctest (einigermassen) geht