>>1586113
日本の報道ではオプションなしでドイツの報道だとオプションありだったと思うんだけど、結局どっちなんだ？