東京の家のtotoの便座がだめになったので、そこについていた漏電保護プラグを利用することにした。15Aと書いてあるので、使えると判断した。
写真を撮り忘れたが、漏電保護プラグと水中ポンプはACコードを撚ってつないで、熱収縮チューブをかぶせました（なんせ暑くてはんだ付けする気になれなかったもので）。
コンセントにめでたく収めて、スイッチでオンオフできるようになりました。バンザイ。
余談だが、最近google chrome（ver.116.0.5845.110）でwebページがまともに表示されなくて困っています。他のブラウザーならちゃんと表示されるのに･･････
chromeも最近のバージョンならちゃんと表示されるのにね。