Looks like @baumkuchen hasn't received any replies yet!