Efficient focusing of hard x rays to 25nm by a total reflection mirror