Поехал, измерил, снял. Так и оказалось, резьба - полдюйма. Сейчас шире, три четверти дюйма (переходи-не переходи на метрическую систему, вечно отовсюду будут переть дюймы). Дал мне еще адаптеров. Набежало на деньги: кран в тысячу крон (примерно 150 долларов), адаптеры для увеличения расстояния между трубами по 245 и адаптеры для нужного размера трубы по 84. Больше полутора тысячи крон в сумме.
Но смонтировалось все довольно быстро. Ожидал худшего - что где-то вдруг начнет хлестать вода или что не подойдет какой-то размер. Бог миловал. Управился часа за полтора.
Видимо, для полного вживания в шкуру сантехника надо еще вечером хорошенько принять.