The Opera House (Town Hall) at Richwood, Ohio.