This review has moved to /reviews/2018/jbo_deutschevita.html.