A hot-film air flow sensor for elevated temperatures