Focusing with a Bahtinov mask