Zum Johann - Hellmuth Mantel is a restaurant.