former Holzminden building