Developmental research: From a research-informed towards a research-based design of a teaching intervention.