https://www.dict.cc/german-english/Was+immer+auch+geschehen+mag.html