Hi, thanks for all the arguments. I am afraid Debian is not yet able to handle merged packages. So, I give in. Nevertheless it would be great if you could improve our tools to get grid of small packages ... Thorsten