Muckenthaler was a hotel and restaurant establishment.