Looks like @gerdfriedrich hasn't received any replies yet!