https://www.dict.cc/german-english/wie+immer+es+auch+sei.html