Hab mal grad meinen Dozenten gefragt. Der meinte nur: "...nicht dass ich wüsste."
Wäre mir aber auch neu, um ehrlich zu sein.