Ehemaliges Zechenhaus der Erzgrube Büchenberg bei Elbingerode