[psyke777]

I've done some more experimenting and searching on the net and the formula:

Maximum useful magnification = Aperture in mm * 1.2

looks right. So the best lens is a 8-9mm. Beyond that things get grainy.