Dietrich, Loretz and Samartín, KTU, 1.4 v 6–9.