Benjamin Fröhlich - Attraction (Extended Version) [PERMVAC325-1]