@tastytea@very.tastytea.de apparently it's used "by some older speakers" lol, I think laundromat is more common, it's a genericized trademark