VerbaAlpina instances for the concept HÖRNERSTOSS