什么是 kantine？eine Art Restaurant in Betrieben, Schulen o. Ä. mittags mit Kollegen in der Kantine essen