Hello Michael, that is a very good suggestion. Thank you. But I also have debian stable. Do you have any idea for debain stable as well? Matthias