Looks like @krigl hasn't received any replies!