Laut englischer Wiki handelt es sich bei Whirlpool und Jacuzzi schlicht um Hersteller (Markennamen) solcher Sprudelbecken und sind keine direkte Bezeichnung für diese. Vielleicht sollte man das konkretisieren. -- 08:33, 11. Aug. 2011 (CEST)