Deichstube is a gastropub.