I was or still am a big fan of the 8211.038 underpants / unfortunately I couldn't find them in the store today. Have they possibly been renamed with a new number or something similar? Thank you very much.