SMS versenden: Practice and theory of automated timetabling V :