VerbaAlpina instances for the concept HUFEISEN