PR: 86949 Submitted by: Nicola Vitale <nivit@email.it> Approved by: novel (mentor), Mattias Werner <mawe@informatik.uni-bremen.de> (author)