After a time of seeing IP4234CZ6,115 as a no-stock part @DK, I inserted the IP4234CZ6,125. Now the former one became available again.