Die WC sind schon seit mindestens Mitte Mai 2020 "aufgrund eines technischen Defekts" gesperrt, womöglich schon länger? Aktuell (Anfang Juli) ist es immer noch so. Wenn es noch länger so bleibt, könnte es sinnvoll sie als "disused" einzutragen.