Looks like @mirko-wenzke hasn't received any replies!