jenkins muss nicht in gruppe docker sein