The invention therefore relates to compounds of the formula I in which the variables are as defined in the specification, to pharmaceutical compositions containing them and to their use for therapeutically lowering blood glucose levels.