Looks like @burkhardasmuth hasn't received any replies!