NRK: Filip Ingebrigtsen mister EM i München