Bayern manager Thomas Tuchel called it ‘a disastrous decision,’ but was the linesman right to raise his flag?