一方ドイツ人は夏の長期休暇を取得していた