John Erik: National Theatre station, Oslo