In the US, it is alternatively called "cat mint"