I guess your friend prefers zooms (at this stage), else he would have picked more lenses from your collection
Option #3 would be my choice for starters.
But I would replace the 16-45 with the 17-70. It's just a little more flexible as a universal lens. It will already give him a wider view than the FZ-35 (25.5mm vs 27mm FF equivalent) and is very convenient if he decides to only carry one lens around. And the DA55-300 basically covers the same FOV at the long end as the FZ-35.
I would basically leave it with that. Possibly add a fastish 35mm like the DA(L)35/2.4. Leaves enough money for a tripod and other accessories and (possibly) software.
And from there he can decide (at a later stage) what else is needed. Flash, utrawide, ultra fast, ... ; the money is still there (hopefully
)
Below some other options if he wants to settle for a 'more complete' kit straight away. I would opt for the DA12-24 instead of DA15Ltd for flexibility.
Option #4
DA12-24 for the wide side
DA17-70 as standard lens
DA55-300 for tele work
Depending on the flexibility that your friend wants, it might be an option to replace the DA17-70 by the DA(L)35/2.4. So that would be option #5
Option #5
DA12-24 for the wide side
DA(L)35/2.4 as standard lens
DA55-300 for tele work
This will work very well if one considers the 35mm as the 'standard' lens and the other lenses as specialist items. That is basically how it works for me. And a lens around 35mm might be more flexible than one thinks.
Option #6
DA12-24 for the wide side
28-75/2.8 as walk around lens; advantage is the f/2.8, but it is lacking at the wide side (compensated by the 12-24)
DA55-300 for tele work
I think all these will still leave money for other things (as mentioned before).