[Holten17]