_:neaabaf7fb5ae4e718421bd9d31fdb3a6xb1
<http://schema.org/position>
"1"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/-/compare?from=master&to=072e60f50e03d5a43e2588d88b5015854b4885d9>