Looks like @markusdiemer hasn't received any replies!