getPositionsMenge

final Menge getPositionsMenge()