ALLE RESTAURANTS AUF DEM STOOS
EXTERNAL_SPLITTING_BEGIN
EXTERNAL_SPLITTING_END