Hochstall es un pequeño pueblo ubicado en Baviera , Alemania . Está en la Alta Franconia , en el distrito de Bamberg . Hochstall es una comunidad constituyente de Buttenheim .