Addition: When I restart both servers once, the "before" file is readable again from clients connected to the not-crashed server. But still none of the both files is replicated to the other server as it would be expected.
Addition: When I restart both servers once, the "before" file is readable again from clients connected to the not-crashed server. But still none of the both files is replicated to the other server as it would be expected.