Looks like @micha22 hasn't received any replies!